Design and Analysis of a Practical E-Voting Protocol
نویسنده
چکیده
In this paper we design an e-voting protocol for an academic voting system which should be independent from other university applications. We briefly discuss security requirements for e-voting schemes focusing on our proposed scheme. We design a receipt-free e-voting protocol which requires neither anonymous channel nor other physical assumptions. We give a short survey on formal analysis of e-voting protocols. Using the applied pi-calculus we model and analyze some security properties of the proposed scheme.
منابع مشابه
Double voter perceptible blind signature based electronic voting protocol
Mu et al. have proposed an electronic voting protocol and claimed that it protects anonymity of voters, detects double voting and authenticates eligible voters. It has been shown that it does not protect voter's privacy and prevent double voting. After that, several schemes have been presented to fulfill these properties. However, many of them suffer from the same weaknesses. In this p...
متن کاملExploring Language Learners’ Cognitive Processes in On-line ESP Courses via Think-aloud Protocol Analysis
The present study aims to investigate language learners’ cognitive processes in on-line ESP courses. Three modes of inquiry are used: think-aloud protocol analysis, screen capture analysis, and correlation analysis. The theoretical foundations for the evaluation of the cognitive aspect of Ferdowsi Univeristy of Mashhad E-learning System are drawn from cognitive load theory, cognitive apprentice...
متن کاملA Secure and Efficient Scheme for Remote Poll Station Voting
Electronic voting has found wider acceptance both in developed and developing countries in the recent past. The current research focuses mainly in the area of privacy and security aspects of e-voting. In spite of the good security and privacy features, the existing e-voting protocols remain useful only to small elections or just to support the conventional voting, mainly because of their high c...
متن کاملPractical Aspects of DynaVote e-Voting Protocol
Voting is regarded as one of the most effective methods for individuals to express their opinions on a given topic. Electronic voting (e-Voting) refers to the use of computers or computerised voting equipments to cast ballots in an election. e-Voting performed over Internet can be universally accepted in the upcoming years due to the fact that Internet plays a key role in people’s lives. The Dy...
متن کاملA Practical Privacy Preserving E-Voting Protocol Using Dynamic Ballots
We describe a practical e-voting protocol which guarantees e-voting protocol requirements: eligibility, privacy, accuracy, fairness, receipt-freeness, uncoercibility, robustness and verifiability. Unlike existing blind signature based protocols, in which the authority blindly signs ballot or part of ballot, the authority in our protocol blindly signs voter’s pseudo identity. Hereafter, voter be...
متن کامل